Integrand size = 31, antiderivative size = 363 \[ \int \frac {\sec (e+f x) (c+d \sec (e+f x))^6}{(a+a \sec (e+f x))^3} \, dx=\frac {d^3 \left (40 c^3-90 c^2 d+78 c d^2-23 d^3\right ) \text {arctanh}(\sin (e+f x))}{2 a^3 f}-\frac {2 d \left (2 c^5+18 c^4 d+107 c^3 d^2-472 c^2 d^3+456 c d^4-136 d^5\right ) \tan (e+f x)}{15 a^3 f}-\frac {d^2 \left (4 c^4+36 c^3 d+216 c^2 d^2-626 c d^3+345 d^4\right ) \sec (e+f x) \tan (e+f x)}{30 a^3 f}-\frac {d \left (2 c^3+18 c^2 d+111 c d^2-136 d^3\right ) (c+d \sec (e+f x))^2 \tan (e+f x)}{15 a^3 f}+\frac {(c-d) \left (2 c^2+18 c d+115 d^2\right ) (c+d \sec (e+f x))^3 \tan (e+f x)}{15 f \left (a^3+a^3 \sec (e+f x)\right )}+\frac {(c-d) (2 c+13 d) (c+d \sec (e+f x))^4 \tan (e+f x)}{15 a f (a+a \sec (e+f x))^2}+\frac {(c-d) (c+d \sec (e+f x))^5 \tan (e+f x)}{5 f (a+a \sec (e+f x))^3} \]
[Out]
Time = 0.65 (sec) , antiderivative size = 405, normalized size of antiderivative = 1.12, number of steps used = 9, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.258, Rules used = {4072, 100, 155, 158, 152, 65, 223, 209} \[ \int \frac {\sec (e+f x) (c+d \sec (e+f x))^6}{(a+a \sec (e+f x))^3} \, dx=\frac {(c-d) \left (2 c^2+18 c d+115 d^2\right ) \tan (e+f x) (c+d \sec (e+f x))^3}{15 f \left (a^3 \sec (e+f x)+a^3\right )}-\frac {d \left (2 c^3+18 c^2 d+111 c d^2-136 d^3\right ) \tan (e+f x) (c+d \sec (e+f x))^2}{15 a^3 f}-\frac {d \tan (e+f x) \left (d \left (4 c^4+36 c^3 d+216 c^2 d^2-626 c d^3+345 d^4\right ) \sec (e+f x)+4 \left (2 c^5+18 c^4 d+107 c^3 d^2-472 c^2 d^3+456 c d^4-136 d^5\right )\right )}{30 a^3 f}+\frac {d^3 \left (40 c^3-90 c^2 d+78 c d^2-23 d^3\right ) \tan (e+f x) \arctan \left (\frac {\sqrt {a-a \sec (e+f x)}}{\sqrt {a (\sec (e+f x)+1)}}\right )}{a^2 f \sqrt {a-a \sec (e+f x)} \sqrt {a \sec (e+f x)+a}}+\frac {(c-d) \tan (e+f x) (c+d \sec (e+f x))^5}{5 f (a \sec (e+f x)+a)^3}+\frac {(c-d) (2 c+13 d) \tan (e+f x) (c+d \sec (e+f x))^4}{15 a f (a \sec (e+f x)+a)^2} \]
[In]
[Out]
Rule 65
Rule 100
Rule 152
Rule 155
Rule 158
Rule 209
Rule 223
Rule 4072
Rubi steps \begin{align*} \text {integral}& = -\frac {\left (a^2 \tan (e+f x)\right ) \text {Subst}\left (\int \frac {(c+d x)^6}{\sqrt {a-a x} (a+a x)^{7/2}} \, dx,x,\sec (e+f x)\right )}{f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}} \\ & = \frac {(c-d) (c+d \sec (e+f x))^5 \tan (e+f x)}{5 f (a+a \sec (e+f x))^3}+\frac {\tan (e+f x) \text {Subst}\left (\int \frac {(c+d x)^4 \left (-a^2 \left (2 c^2+8 c d-5 d^2\right )+a^2 (3 c-8 d) d x\right )}{\sqrt {a-a x} (a+a x)^{5/2}} \, dx,x,\sec (e+f x)\right )}{5 a f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}} \\ & = \frac {(c-d) (2 c+13 d) (c+d \sec (e+f x))^4 \tan (e+f x)}{15 a f (a+a \sec (e+f x))^2}+\frac {(c-d) (c+d \sec (e+f x))^5 \tan (e+f x)}{5 f (a+a \sec (e+f x))^3}+\frac {\tan (e+f x) \text {Subst}\left (\int \frac {(c+d x)^3 \left (-a^4 \left (2 c^3+10 c^2 d+55 c d^2-52 d^3\right )+3 a^4 d \left (2 c^2+14 c d-21 d^2\right ) x\right )}{\sqrt {a-a x} (a+a x)^{3/2}} \, dx,x,\sec (e+f x)\right )}{15 a^4 f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}} \\ & = \frac {(c-d) \left (2 c^2+18 c d+115 d^2\right ) (c+d \sec (e+f x))^3 \tan (e+f x)}{15 f \left (a^3+a^3 \sec (e+f x)\right )}+\frac {(c-d) (2 c+13 d) (c+d \sec (e+f x))^4 \tan (e+f x)}{15 a f (a+a \sec (e+f x))^2}+\frac {(c-d) (c+d \sec (e+f x))^5 \tan (e+f x)}{5 f (a+a \sec (e+f x))^3}+\frac {\tan (e+f x) \text {Subst}\left (\int \frac {(c+d x)^2 \left (-3 a^6 d^2 \left (2 c^2+118 c d-115 d^2\right )+3 a^6 d \left (2 c^3+18 c^2 d+111 c d^2-136 d^3\right ) x\right )}{\sqrt {a-a x} \sqrt {a+a x}} \, dx,x,\sec (e+f x)\right )}{15 a^7 f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}} \\ & = -\frac {d \left (2 c^3+18 c^2 d+111 c d^2-136 d^3\right ) (c+d \sec (e+f x))^2 \tan (e+f x)}{15 a^3 f}+\frac {(c-d) \left (2 c^2+18 c d+115 d^2\right ) (c+d \sec (e+f x))^3 \tan (e+f x)}{15 f \left (a^3+a^3 \sec (e+f x)\right )}+\frac {(c-d) (2 c+13 d) (c+d \sec (e+f x))^4 \tan (e+f x)}{15 a f (a+a \sec (e+f x))^2}+\frac {(c-d) (c+d \sec (e+f x))^5 \tan (e+f x)}{5 f (a+a \sec (e+f x))^3}-\frac {\tan (e+f x) \text {Subst}\left (\int \frac {(c+d x) \left (3 a^8 d^2 \left (2 c^3+318 c^2 d-567 c d^2+272 d^3\right )-3 a^8 d \left (4 c^4+36 c^3 d+216 c^2 d^2-626 c d^3+345 d^4\right ) x\right )}{\sqrt {a-a x} \sqrt {a+a x}} \, dx,x,\sec (e+f x)\right )}{45 a^9 f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}} \\ & = -\frac {d \left (2 c^3+18 c^2 d+111 c d^2-136 d^3\right ) (c+d \sec (e+f x))^2 \tan (e+f x)}{15 a^3 f}+\frac {(c-d) \left (2 c^2+18 c d+115 d^2\right ) (c+d \sec (e+f x))^3 \tan (e+f x)}{15 f \left (a^3+a^3 \sec (e+f x)\right )}+\frac {(c-d) (2 c+13 d) (c+d \sec (e+f x))^4 \tan (e+f x)}{15 a f (a+a \sec (e+f x))^2}+\frac {(c-d) (c+d \sec (e+f x))^5 \tan (e+f x)}{5 f (a+a \sec (e+f x))^3}-\frac {d \left (4 \left (2 c^5+18 c^4 d+107 c^3 d^2-472 c^2 d^3+456 c d^4-136 d^5\right )+d \left (4 c^4+36 c^3 d+216 c^2 d^2-626 c d^3+345 d^4\right ) \sec (e+f x)\right ) \tan (e+f x)}{30 a^3 f}-\frac {\left (d^3 \left (40 c^3-90 c^2 d+78 c d^2-23 d^3\right ) \tan (e+f x)\right ) \text {Subst}\left (\int \frac {1}{\sqrt {a-a x} \sqrt {a+a x}} \, dx,x,\sec (e+f x)\right )}{2 a f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}} \\ & = -\frac {d \left (2 c^3+18 c^2 d+111 c d^2-136 d^3\right ) (c+d \sec (e+f x))^2 \tan (e+f x)}{15 a^3 f}+\frac {(c-d) \left (2 c^2+18 c d+115 d^2\right ) (c+d \sec (e+f x))^3 \tan (e+f x)}{15 f \left (a^3+a^3 \sec (e+f x)\right )}+\frac {(c-d) (2 c+13 d) (c+d \sec (e+f x))^4 \tan (e+f x)}{15 a f (a+a \sec (e+f x))^2}+\frac {(c-d) (c+d \sec (e+f x))^5 \tan (e+f x)}{5 f (a+a \sec (e+f x))^3}-\frac {d \left (4 \left (2 c^5+18 c^4 d+107 c^3 d^2-472 c^2 d^3+456 c d^4-136 d^5\right )+d \left (4 c^4+36 c^3 d+216 c^2 d^2-626 c d^3+345 d^4\right ) \sec (e+f x)\right ) \tan (e+f x)}{30 a^3 f}+\frac {\left (d^3 \left (40 c^3-90 c^2 d+78 c d^2-23 d^3\right ) \tan (e+f x)\right ) \text {Subst}\left (\int \frac {1}{\sqrt {2 a-x^2}} \, dx,x,\sqrt {a-a \sec (e+f x)}\right )}{a^2 f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}} \\ & = -\frac {d \left (2 c^3+18 c^2 d+111 c d^2-136 d^3\right ) (c+d \sec (e+f x))^2 \tan (e+f x)}{15 a^3 f}+\frac {(c-d) \left (2 c^2+18 c d+115 d^2\right ) (c+d \sec (e+f x))^3 \tan (e+f x)}{15 f \left (a^3+a^3 \sec (e+f x)\right )}+\frac {(c-d) (2 c+13 d) (c+d \sec (e+f x))^4 \tan (e+f x)}{15 a f (a+a \sec (e+f x))^2}+\frac {(c-d) (c+d \sec (e+f x))^5 \tan (e+f x)}{5 f (a+a \sec (e+f x))^3}-\frac {d \left (4 \left (2 c^5+18 c^4 d+107 c^3 d^2-472 c^2 d^3+456 c d^4-136 d^5\right )+d \left (4 c^4+36 c^3 d+216 c^2 d^2-626 c d^3+345 d^4\right ) \sec (e+f x)\right ) \tan (e+f x)}{30 a^3 f}+\frac {\left (d^3 \left (40 c^3-90 c^2 d+78 c d^2-23 d^3\right ) \tan (e+f x)\right ) \text {Subst}\left (\int \frac {1}{1+x^2} \, dx,x,\frac {\sqrt {a-a \sec (e+f x)}}{\sqrt {a+a \sec (e+f x)}}\right )}{a^2 f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}} \\ & = \frac {d^3 \left (40 c^3-90 c^2 d+78 c d^2-23 d^3\right ) \arctan \left (\frac {\sqrt {a-a \sec (e+f x)}}{\sqrt {a+a \sec (e+f x)}}\right ) \tan (e+f x)}{a^2 f \sqrt {a-a \sec (e+f x)} \sqrt {a+a \sec (e+f x)}}-\frac {d \left (2 c^3+18 c^2 d+111 c d^2-136 d^3\right ) (c+d \sec (e+f x))^2 \tan (e+f x)}{15 a^3 f}+\frac {(c-d) \left (2 c^2+18 c d+115 d^2\right ) (c+d \sec (e+f x))^3 \tan (e+f x)}{15 f \left (a^3+a^3 \sec (e+f x)\right )}+\frac {(c-d) (2 c+13 d) (c+d \sec (e+f x))^4 \tan (e+f x)}{15 a f (a+a \sec (e+f x))^2}+\frac {(c-d) (c+d \sec (e+f x))^5 \tan (e+f x)}{5 f (a+a \sec (e+f x))^3}-\frac {d \left (4 \left (2 c^5+18 c^4 d+107 c^3 d^2-472 c^2 d^3+456 c d^4-136 d^5\right )+d \left (4 c^4+36 c^3 d+216 c^2 d^2-626 c d^3+345 d^4\right ) \sec (e+f x)\right ) \tan (e+f x)}{30 a^3 f} \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(1338\) vs. \(2(363)=726\).
Time = 9.81 (sec) , antiderivative size = 1338, normalized size of antiderivative = 3.69 \[ \int \frac {\sec (e+f x) (c+d \sec (e+f x))^6}{(a+a \sec (e+f x))^3} \, dx=\frac {4 \left (-40 c^3 d^3+90 c^2 d^4-78 c d^5+23 d^6\right ) \cos ^6\left (\frac {e}{2}+\frac {f x}{2}\right ) \cos ^3(e+f x) \log \left (\cos \left (\frac {e}{2}+\frac {f x}{2}\right )-\sin \left (\frac {e}{2}+\frac {f x}{2}\right )\right ) (c+d \sec (e+f x))^6}{f (d+c \cos (e+f x))^6 (a+a \sec (e+f x))^3}-\frac {4 \left (-40 c^3 d^3+90 c^2 d^4-78 c d^5+23 d^6\right ) \cos ^6\left (\frac {e}{2}+\frac {f x}{2}\right ) \cos ^3(e+f x) \log \left (\cos \left (\frac {e}{2}+\frac {f x}{2}\right )+\sin \left (\frac {e}{2}+\frac {f x}{2}\right )\right ) (c+d \sec (e+f x))^6}{f (d+c \cos (e+f x))^6 (a+a \sec (e+f x))^3}+\frac {2 \cos ^2\left (\frac {e}{2}+\frac {f x}{2}\right ) \cos ^3(e+f x) \sec \left (\frac {e}{2}\right ) (c+d \sec (e+f x))^6 \left (c^6 \sin \left (\frac {e}{2}\right )-6 c^5 d \sin \left (\frac {e}{2}\right )+15 c^4 d^2 \sin \left (\frac {e}{2}\right )-20 c^3 d^3 \sin \left (\frac {e}{2}\right )+15 c^2 d^4 \sin \left (\frac {e}{2}\right )-6 c d^5 \sin \left (\frac {e}{2}\right )+d^6 \sin \left (\frac {e}{2}\right )\right )}{5 f (d+c \cos (e+f x))^6 (a+a \sec (e+f x))^3}+\frac {8 \cos ^4\left (\frac {e}{2}+\frac {f x}{2}\right ) \cos ^3(e+f x) \sec \left (\frac {e}{2}\right ) (c+d \sec (e+f x))^6 \left (-4 c^6 \sin \left (\frac {e}{2}\right )+9 c^5 d \sin \left (\frac {e}{2}\right )+15 c^4 d^2 \sin \left (\frac {e}{2}\right )-70 c^3 d^3 \sin \left (\frac {e}{2}\right )+90 c^2 d^4 \sin \left (\frac {e}{2}\right )-51 c d^5 \sin \left (\frac {e}{2}\right )+11 d^6 \sin \left (\frac {e}{2}\right )\right )}{15 f (d+c \cos (e+f x))^6 (a+a \sec (e+f x))^3}+\frac {2 \cos \left (\frac {e}{2}+\frac {f x}{2}\right ) \cos ^3(e+f x) \sec \left (\frac {e}{2}\right ) (c+d \sec (e+f x))^6 \left (c^6 \sin \left (\frac {f x}{2}\right )-6 c^5 d \sin \left (\frac {f x}{2}\right )+15 c^4 d^2 \sin \left (\frac {f x}{2}\right )-20 c^3 d^3 \sin \left (\frac {f x}{2}\right )+15 c^2 d^4 \sin \left (\frac {f x}{2}\right )-6 c d^5 \sin \left (\frac {f x}{2}\right )+d^6 \sin \left (\frac {f x}{2}\right )\right )}{5 f (d+c \cos (e+f x))^6 (a+a \sec (e+f x))^3}+\frac {8 \cos ^3\left (\frac {e}{2}+\frac {f x}{2}\right ) \cos ^3(e+f x) \sec \left (\frac {e}{2}\right ) (c+d \sec (e+f x))^6 \left (-4 c^6 \sin \left (\frac {f x}{2}\right )+9 c^5 d \sin \left (\frac {f x}{2}\right )+15 c^4 d^2 \sin \left (\frac {f x}{2}\right )-70 c^3 d^3 \sin \left (\frac {f x}{2}\right )+90 c^2 d^4 \sin \left (\frac {f x}{2}\right )-51 c d^5 \sin \left (\frac {f x}{2}\right )+11 d^6 \sin \left (\frac {f x}{2}\right )\right )}{15 f (d+c \cos (e+f x))^6 (a+a \sec (e+f x))^3}+\frac {8 \cos ^5\left (\frac {e}{2}+\frac {f x}{2}\right ) \cos ^3(e+f x) \sec \left (\frac {e}{2}\right ) (c+d \sec (e+f x))^6 \left (7 c^6 \sin \left (\frac {f x}{2}\right )+18 c^5 d \sin \left (\frac {f x}{2}\right )+30 c^4 d^2 \sin \left (\frac {f x}{2}\right )-440 c^3 d^3 \sin \left (\frac {f x}{2}\right )+855 c^2 d^4 \sin \left (\frac {f x}{2}\right )-642 c d^5 \sin \left (\frac {f x}{2}\right )+172 d^6 \sin \left (\frac {f x}{2}\right )\right )}{15 f (d+c \cos (e+f x))^6 (a+a \sec (e+f x))^3}+\frac {8 d^6 \cos ^6\left (\frac {e}{2}+\frac {f x}{2}\right ) \sec (e) (c+d \sec (e+f x))^6 \sin (f x)}{3 f (d+c \cos (e+f x))^6 (a+a \sec (e+f x))^3}-\frac {4 \cos ^6\left (\frac {e}{2}+\frac {f x}{2}\right ) \cos ^2(e+f x) \sec (e) (c+d \sec (e+f x))^6 \left (-18 c d^5 \sin (e)+9 d^6 \sin (e)-90 c^2 d^4 \sin (f x)+108 c d^5 \sin (f x)-40 d^6 \sin (f x)\right )}{3 f (d+c \cos (e+f x))^6 (a+a \sec (e+f x))^3}+\frac {4 \cos ^6\left (\frac {e}{2}+\frac {f x}{2}\right ) \cos (e+f x) \sec (e) (c+d \sec (e+f x))^6 \left (2 d^6 \sin (e)+18 c d^5 \sin (f x)-9 d^6 \sin (f x)\right )}{3 f (d+c \cos (e+f x))^6 (a+a \sec (e+f x))^3} \]
[In]
[Out]
Time = 1.47 (sec) , antiderivative size = 491, normalized size of antiderivative = 1.35
method | result | size |
parallelrisch | \(\frac {-14400 \left (c^{3}-\frac {9}{4} c^{2} d +\frac {39}{20} c \,d^{2}-\frac {23}{40} d^{3}\right ) \left (\cos \left (f x +e \right )+\frac {\cos \left (3 f x +3 e \right )}{3}\right ) d^{3} \ln \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )+14400 \left (c^{3}-\frac {9}{4} c^{2} d +\frac {39}{20} c \,d^{2}-\frac {23}{40} d^{3}\right ) \left (\cos \left (f x +e \right )+\frac {\cos \left (3 f x +3 e \right )}{3}\right ) d^{3} \ln \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )+12 \tan \left (\frac {f x}{2}+\frac {e}{2}\right ) \left (\left (\frac {43}{12} c^{6}+\frac {1549}{6} d^{6}-859 c \,d^{5}+\frac {95}{2} c^{4} d^{2}-\frac {1190}{3} c^{3} d^{3}+1035 c^{2} d^{4}+\frac {27}{2} c^{5} d \right ) \cos \left (3 f x +3 e \right )+\left (36 c^{5} d +4 c^{6}+\frac {1382}{3} d^{6}-1524 c \,d^{5}+60 c^{4} d^{2}-680 c^{3} d^{3}+1860 c^{2} d^{4}\right ) \cos \left (2 f x +2 e \right )+\left (c^{6}+\frac {429}{4} d^{6}+9 c^{5} d +15 c^{4} d^{2}-170 c^{3} d^{3}+\frac {855}{2} c^{2} d^{4}-\frac {717}{2} c \,d^{5}\right ) \cos \left (4 f x +4 e \right )+\left (\frac {7}{12} c^{6}+\frac {68}{3} d^{6}-76 c \,d^{5}+\frac {3}{2} c^{5} d +\frac {5}{2} c^{4} d^{2}-\frac {110}{3} c^{3} d^{3}+90 c^{2} d^{4}\right ) \cos \left (5 f x +5 e \right )+\left (\frac {3907}{6} d^{6}+33 c^{5} d +\frac {47}{6} c^{6}-\frac {3020}{3} c^{3} d^{3}+2655 c^{2} d^{4}-2137 c \,d^{5}+130 c^{4} d^{2}\right ) \cos \left (f x +e \right )+\frac {4321 d^{6}}{12}+3 c^{6}+27 c^{5} d +45 c^{4} d^{2}-510 c^{3} d^{3}+\frac {2865 c^{2} d^{4}}{2}-\frac {2331 c \,d^{5}}{2}\right ) \sec \left (\frac {f x}{2}+\frac {e}{2}\right )^{4}}{240 f \,a^{3} \left (\cos \left (3 f x +3 e \right )+3 \cos \left (f x +e \right )\right )}\) | \(491\) |
derivativedivides | \(\frac {-\frac {4 d^{6}}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{3}}+c^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )+49 d^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )-\frac {4 d^{6}}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )^{3}}+\frac {d^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}}{5}-\frac {2 c^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}}{3}+\frac {10 d^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}}{3}+\frac {c^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}}{5}+2 d^{3} \left (40 c^{3}-90 c^{2} d +78 c \,d^{2}-23 d^{3}\right ) \ln \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )-\frac {2 d^{4} \left (30 c^{2}-42 c d +17 d^{2}\right )}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1}-4 c^{3} d^{3} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}-\frac {6 c^{5} d \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}}{5}+3 c^{4} d^{2} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}+3 c^{2} d^{4} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}-\frac {6 c \,d^{5} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}}{5}+10 c^{4} d^{2} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}+30 c^{2} d^{4} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}+6 c^{5} d \tan \left (\frac {f x}{2}+\frac {e}{2}\right )+15 c^{4} d^{2} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )+255 c^{2} d^{4} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )-186 c \,d^{5} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )-\frac {4 d^{5} \left (3 c -2 d \right )}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )^{2}}-16 c \,d^{5} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}-140 \tan \left (\frac {f x}{2}+\frac {e}{2}\right ) c^{3} d^{3}-\frac {80 c^{3} d^{3} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}}{3}+\frac {4 d^{5} \left (3 c -2 d \right )}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{2}}-2 d^{3} \left (40 c^{3}-90 c^{2} d +78 c \,d^{2}-23 d^{3}\right ) \ln \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )-\frac {2 d^{4} \left (30 c^{2}-42 c d +17 d^{2}\right )}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1}}{4 f \,a^{3}}\) | \(579\) |
default | \(\frac {-\frac {4 d^{6}}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{3}}+c^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )+49 d^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )-\frac {4 d^{6}}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )^{3}}+\frac {d^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}}{5}-\frac {2 c^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}}{3}+\frac {10 d^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}}{3}+\frac {c^{6} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}}{5}+2 d^{3} \left (40 c^{3}-90 c^{2} d +78 c \,d^{2}-23 d^{3}\right ) \ln \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )-\frac {2 d^{4} \left (30 c^{2}-42 c d +17 d^{2}\right )}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1}-4 c^{3} d^{3} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}-\frac {6 c^{5} d \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}}{5}+3 c^{4} d^{2} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}+3 c^{2} d^{4} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}-\frac {6 c \,d^{5} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{5}}{5}+10 c^{4} d^{2} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}+30 c^{2} d^{4} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}+6 c^{5} d \tan \left (\frac {f x}{2}+\frac {e}{2}\right )+15 c^{4} d^{2} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )+255 c^{2} d^{4} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )-186 c \,d^{5} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )-\frac {4 d^{5} \left (3 c -2 d \right )}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )^{2}}-16 c \,d^{5} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}-140 \tan \left (\frac {f x}{2}+\frac {e}{2}\right ) c^{3} d^{3}-\frac {80 c^{3} d^{3} \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}}{3}+\frac {4 d^{5} \left (3 c -2 d \right )}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{2}}-2 d^{3} \left (40 c^{3}-90 c^{2} d +78 c \,d^{2}-23 d^{3}\right ) \ln \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )-\frac {2 d^{4} \left (30 c^{2}-42 c d +17 d^{2}\right )}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1}}{4 f \,a^{3}}\) | \(579\) |
risch | \(\text {Expression too large to display}\) | \(1331\) |
[In]
[Out]
none
Time = 0.31 (sec) , antiderivative size = 620, normalized size of antiderivative = 1.71 \[ \int \frac {\sec (e+f x) (c+d \sec (e+f x))^6}{(a+a \sec (e+f x))^3} \, dx=\frac {15 \, {\left ({\left (40 \, c^{3} d^{3} - 90 \, c^{2} d^{4} + 78 \, c d^{5} - 23 \, d^{6}\right )} \cos \left (f x + e\right )^{6} + 3 \, {\left (40 \, c^{3} d^{3} - 90 \, c^{2} d^{4} + 78 \, c d^{5} - 23 \, d^{6}\right )} \cos \left (f x + e\right )^{5} + 3 \, {\left (40 \, c^{3} d^{3} - 90 \, c^{2} d^{4} + 78 \, c d^{5} - 23 \, d^{6}\right )} \cos \left (f x + e\right )^{4} + {\left (40 \, c^{3} d^{3} - 90 \, c^{2} d^{4} + 78 \, c d^{5} - 23 \, d^{6}\right )} \cos \left (f x + e\right )^{3}\right )} \log \left (\sin \left (f x + e\right ) + 1\right ) - 15 \, {\left ({\left (40 \, c^{3} d^{3} - 90 \, c^{2} d^{4} + 78 \, c d^{5} - 23 \, d^{6}\right )} \cos \left (f x + e\right )^{6} + 3 \, {\left (40 \, c^{3} d^{3} - 90 \, c^{2} d^{4} + 78 \, c d^{5} - 23 \, d^{6}\right )} \cos \left (f x + e\right )^{5} + 3 \, {\left (40 \, c^{3} d^{3} - 90 \, c^{2} d^{4} + 78 \, c d^{5} - 23 \, d^{6}\right )} \cos \left (f x + e\right )^{4} + {\left (40 \, c^{3} d^{3} - 90 \, c^{2} d^{4} + 78 \, c d^{5} - 23 \, d^{6}\right )} \cos \left (f x + e\right )^{3}\right )} \log \left (-\sin \left (f x + e\right ) + 1\right ) + 2 \, {\left (10 \, d^{6} + 2 \, {\left (7 \, c^{6} + 18 \, c^{5} d + 30 \, c^{4} d^{2} - 440 \, c^{3} d^{3} + 1080 \, c^{2} d^{4} - 912 \, c d^{5} + 272 \, d^{6}\right )} \cos \left (f x + e\right )^{5} + 3 \, {\left (4 \, c^{6} + 36 \, c^{5} d + 60 \, c^{4} d^{2} - 680 \, c^{3} d^{3} + 1710 \, c^{2} d^{4} - 1434 \, c d^{5} + 429 \, d^{6}\right )} \cos \left (f x + e\right )^{4} + {\left (4 \, c^{6} + 36 \, c^{5} d + 210 \, c^{4} d^{2} - 1280 \, c^{3} d^{3} + 3510 \, c^{2} d^{4} - 2874 \, c d^{5} + 869 \, d^{6}\right )} \cos \left (f x + e\right )^{3} + 5 \, {\left (90 \, c^{2} d^{4} - 54 \, c d^{5} + 19 \, d^{6}\right )} \cos \left (f x + e\right )^{2} + 15 \, {\left (6 \, c d^{5} - d^{6}\right )} \cos \left (f x + e\right )\right )} \sin \left (f x + e\right )}{60 \, {\left (a^{3} f \cos \left (f x + e\right )^{6} + 3 \, a^{3} f \cos \left (f x + e\right )^{5} + 3 \, a^{3} f \cos \left (f x + e\right )^{4} + a^{3} f \cos \left (f x + e\right )^{3}\right )}} \]
[In]
[Out]
\[ \int \frac {\sec (e+f x) (c+d \sec (e+f x))^6}{(a+a \sec (e+f x))^3} \, dx=\frac {\int \frac {c^{6} \sec {\left (e + f x \right )}}{\sec ^{3}{\left (e + f x \right )} + 3 \sec ^{2}{\left (e + f x \right )} + 3 \sec {\left (e + f x \right )} + 1}\, dx + \int \frac {d^{6} \sec ^{7}{\left (e + f x \right )}}{\sec ^{3}{\left (e + f x \right )} + 3 \sec ^{2}{\left (e + f x \right )} + 3 \sec {\left (e + f x \right )} + 1}\, dx + \int \frac {6 c d^{5} \sec ^{6}{\left (e + f x \right )}}{\sec ^{3}{\left (e + f x \right )} + 3 \sec ^{2}{\left (e + f x \right )} + 3 \sec {\left (e + f x \right )} + 1}\, dx + \int \frac {15 c^{2} d^{4} \sec ^{5}{\left (e + f x \right )}}{\sec ^{3}{\left (e + f x \right )} + 3 \sec ^{2}{\left (e + f x \right )} + 3 \sec {\left (e + f x \right )} + 1}\, dx + \int \frac {20 c^{3} d^{3} \sec ^{4}{\left (e + f x \right )}}{\sec ^{3}{\left (e + f x \right )} + 3 \sec ^{2}{\left (e + f x \right )} + 3 \sec {\left (e + f x \right )} + 1}\, dx + \int \frac {15 c^{4} d^{2} \sec ^{3}{\left (e + f x \right )}}{\sec ^{3}{\left (e + f x \right )} + 3 \sec ^{2}{\left (e + f x \right )} + 3 \sec {\left (e + f x \right )} + 1}\, dx + \int \frac {6 c^{5} d \sec ^{2}{\left (e + f x \right )}}{\sec ^{3}{\left (e + f x \right )} + 3 \sec ^{2}{\left (e + f x \right )} + 3 \sec {\left (e + f x \right )} + 1}\, dx}{a^{3}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 946 vs. \(2 (349) = 698\).
Time = 0.25 (sec) , antiderivative size = 946, normalized size of antiderivative = 2.61 \[ \int \frac {\sec (e+f x) (c+d \sec (e+f x))^6}{(a+a \sec (e+f x))^3} \, dx=\text {Too large to display} \]
[In]
[Out]
none
Time = 0.48 (sec) , antiderivative size = 672, normalized size of antiderivative = 1.85 \[ \int \frac {\sec (e+f x) (c+d \sec (e+f x))^6}{(a+a \sec (e+f x))^3} \, dx=\frac {\frac {30 \, {\left (40 \, c^{3} d^{3} - 90 \, c^{2} d^{4} + 78 \, c d^{5} - 23 \, d^{6}\right )} \log \left ({\left | \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 1 \right |}\right )}{a^{3}} - \frac {30 \, {\left (40 \, c^{3} d^{3} - 90 \, c^{2} d^{4} + 78 \, c d^{5} - 23 \, d^{6}\right )} \log \left ({\left | \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 1 \right |}\right )}{a^{3}} - \frac {20 \, {\left (90 \, c^{2} d^{4} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} - 126 \, c d^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} + 51 \, d^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} - 180 \, c^{2} d^{4} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 216 \, c d^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 76 \, d^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 90 \, c^{2} d^{4} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 90 \, c d^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 33 \, d^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )}}{{\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 1\right )}^{3} a^{3}} + \frac {3 \, a^{12} c^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} - 18 \, a^{12} c^{5} d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} + 45 \, a^{12} c^{4} d^{2} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} - 60 \, a^{12} c^{3} d^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} + 45 \, a^{12} c^{2} d^{4} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} - 18 \, a^{12} c d^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} + 3 \, a^{12} d^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} - 10 \, a^{12} c^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 150 \, a^{12} c^{4} d^{2} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 400 \, a^{12} c^{3} d^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 450 \, a^{12} c^{2} d^{4} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 240 \, a^{12} c d^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 50 \, a^{12} d^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 15 \, a^{12} c^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 90 \, a^{12} c^{5} d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 225 \, a^{12} c^{4} d^{2} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 2100 \, a^{12} c^{3} d^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 3825 \, a^{12} c^{2} d^{4} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 2790 \, a^{12} c d^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 735 \, a^{12} d^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )}{a^{15}}}{60 \, f} \]
[In]
[Out]
Time = 13.62 (sec) , antiderivative size = 327, normalized size of antiderivative = 0.90 \[ \int \frac {\sec (e+f x) (c+d \sec (e+f x))^6}{(a+a \sec (e+f x))^3} \, dx=\frac {\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )\,\left (\frac {5\,{\left (c-d\right )}^6}{2\,a^3}-\frac {6\,\left (c+d\right )\,{\left (c-d\right )}^5}{a^3}+\frac {15\,{\left (c+d\right )}^2\,{\left (c-d\right )}^4}{4\,a^3}\right )}{f}-\frac {\left (30\,c^2\,d^4-42\,c\,d^5+17\,d^6\right )\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^5+\left (-60\,c^2\,d^4+72\,c\,d^5-\frac {76\,d^6}{3}\right )\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^3+\left (30\,c^2\,d^4-30\,c\,d^5+11\,d^6\right )\,\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}{f\,\left (a^3\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^6-3\,a^3\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^4+3\,a^3\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^2-a^3\right )}+\frac {{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^3\,\left (\frac {{\left (c-d\right )}^6}{3\,a^3}-\frac {\left (c+d\right )\,{\left (c-d\right )}^5}{2\,a^3}\right )}{f}+\frac {{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^5\,{\left (c-d\right )}^6}{20\,a^3\,f}+\frac {d^3\,\mathrm {atanh}\left (\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )\right )\,\left (40\,c^3-90\,c^2\,d+78\,c\,d^2-23\,d^3\right )}{a^3\,f} \]
[In]
[Out]